Adding pretty printers and optimizations algebras