Using lowercase digits by default in (show (written ...)).
Removing unused env-monad bindings.