Nice constructors and printers for trees