added stub for error message generation
implemented error generation
integrated nice error messages in constraint generation
more readable string representation of types
error messages list now which variables are unbound instead of just saying that some variable is unbound