Added proper support for interface/type checking in the AST.