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.
This line is repeated a lot. Let's DRY by introducing a `@trackline` decorator.