Check types at compile-time, not parse-time

[lukem12345]

Currently, we check that the types are a 0-Form, 1-Form, etc., and raise an error if a type is e.g. VectorField when we are parsing.

Since:

• This restriction is only needed to check that a Decapode will compile correctly.
• There is no restriction inherent to the Decapode schema that prohibits encoding equations from e.g. the usual vector calculus.

We should move this check to somewhere inside gensim.

[lukem12345]

We should revisit this topic when we label Decapodes with the calculus it comes from using types, since there may be value then in detecting such mal-formed types at parse-time. AlgebraicJulia/DiagrammaticEquations.jl#19

For example, if I say that my equations are written in the 1D DEC, then there is value in throwing a parsing error when I try to use a 2-Form.

[lukem12345]

Closed by #117