Change Desc model to make Mu take a Desc rather than a "tagged desc".

I have decided to favor treating the canonical theory as lower level.
Package up all datatype declaration info in a dependent record.