change to_string format
debug output location of types in unification
add location information to error message of type mismatch