Improved error messages first steps: parse errors
New error mechanisms used in type errors now too