[BIND] Correct binding of constructors
[AST] Correct bugs with DefaultVisitor and MethodVar
[TYPE] Add type checking of constructors