add location to type
fix generating metavar
change to_string format
debug output location of types in unification
add location information to error message of type mismatch
output text at error location (comment outed)
fix seeking file
fix bol
fix lexing topdef and topvar
Merge branch 'feature/typeloc' into develop