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.
No, this is actually a dirty patch, spilling line info all over the place. The same info is contained in the `ast.Constructor` object. We should redesign it.