Final version. Hopefully. Compatible with pretty printer written for BIUTEE trees.