Minor renaming.
Newest Desc model.

In the style of https://github.com/larrytheliquid/generic-elim.
This version has a specialized Mu that supports levitation.