Environment types, not a lot for now.
Pretty printer.