Explorable: re-org to depend less on induction principles
Monad: more universe-polymorphic
Type: cleanup
Add Explore.Isomorphism