Inferred types are not aware of schematic variables

[nsbgn]

Consider the following function:

compose = Operation(
    lambda α, β, γ: (β ** γ) ** (α ** β) ** (α ** γ),
    derived=lambda f, g, x: f(g(x))
)

Clearly, the type inferred from the derivation should correspond to the
declared type for this operation. However, swapping the arguments in the
declared type does not immediately lead to an error:

compose = Operation(
    lambda α, β, γ: (α ** β) ** (β ** γ) ** (α ** γ),
    derived=lambda f, g, x: f(g(x))
)

An error will still be raised, but only once we use it:

A = Type.declare("A")
B = Type.declare("B")
C = Type.declare("C")
op1 = Operation(A ** B)
op2 = Operation(B ** C)
compose(op2, op1)

It would be helpful if the wrong declared type were immediately caught at the
time that it is defined.