Add line info to AST and type nodes. Add line info to errors of type module.

AST and Type nodes are decorated with line info during parsing.
Errors of type module now contain line info.
I thought we were extending `Type` from `ast.Node`. Did that change?