- Add printing combinators to make code more readable. - Optimize printing for encoding. Pretty printing will be in a different module.
This just typechecks. It needs to be cleaned and tested. Tests have been deactivated.