TypeTable: start of implementation
Nothing, actually
Maintenance: unused imports, missing imports
Restored signature
Refactored the huge AST.hs into def/utils chunks