Move the definition of `meaning' from inside the functor to the enclosing
structure environment, in order to factor the `user' meaning and have only
one datatype for the concept `meaning'.