first piece of issue #151: message on type errors: use "expected" Also removed blanks in the message where the pretty printing operation adds them automatically (there were always to blanks in the generated message before "expression"). The t-numbering will be done by Ingo.
first piece of issue #151: message on type errors: use "expected"
Also removed blanks in the message where the pretty printing operation adds them automatically (there were always to blanks in the generated message before "expression"). The t-numbering will be done by Ingo.

vsts/frege,sjfloat/frege,sjfloat/frege,oppai/frege,ppelleti/frege,vsts/frege,mperry/frege,mperry/frege,scrotty/frege,ppelleti/frege,mperry/frege,ppelleti/frege,sjfloat/frege,oppai/frege,oppai/frege,scrotty/frege,scrotty/frege,vsts/frege