rename to substitutions.
inferencing environment, inf state.
type inferencing.
restructure most-generalizable-unifier tests.
type inf tests.
make InfEnv a type synonym for brevity.