Add equality testing method for types.
Display variable type in the AST dump.