Add deriving Show to datatypes, fix latex print bugs
Switch to mtl Control.Monad.Error, extend documentation