Extracted types into AST module
Typechecked code? POSSIBLY USEFUL.

Magic everywhere up in this bitch