Pulling out prose as its own module
Move Prose datatype around.
Adding Prose functions into Prose.
Pulling out the (TeX-style) environment.