All types should be β-reduced
Add printers for « try with » and « exception » statements