Remove Lamdu.Pretty
Use $+$ instead of \n