7.1 Lacks, Bugs and Features

• The injection (coercion) applications between a formalism and its extensions are not yet implemented.
• The type-checker does not report unused phyla.
• It is not yet possible to declare a phylum as non effective to avoid useless warnings.
• When formalism inclusion is used, the type-checker makes the assumption that the syntax of the imported formalism is effective.