Use records, not typeclasses, for subuniverses and modalities
Merge pull request #585 from mikeshulman/modalrecords

Use records, not typeclasses, for subuniverses and modalities