Refactored AST, and wrote skeleton of type-check methods