Module check
mamba
Checks whether a given AST is well typed according to the specification of the language.