Enhance the Name Monad with a Name environment.