Improved printed types in toplevel (realiased them)