Pretty printing, two small examples and a small fix to the type checking.