AST should include nodes for type paramters and type arguments, rather than the lists used now. This will make it possible to store correct position and other kinds of information.