Names correction, added lineno to symbols, some updates to semantic control
Added TypeChecker.errors, some corrections to messages
Corrections to AST, some implementations to semantic control, still long way to go.