Give SealedExp the same treatment, adding a Type field
Typeable instance.  Plus update submods