Little redesign:

Kind of like how the core types look. Time to start working on
translating a ModIface into a ModDefn.