Add stub lineno handling in errors
Implement handle_error in TypeChecker
Keep a FilePosition in declarations
Keep a FilePosition in variables
Keep a FilePosition in function defs
Use handle_error for `return' outside a function
Keep a FilePosition in function calls
Keep a FilePosition in assigments, refresh .outs