Added extended Prelude and fixed printing of error messages in the front-end.