eg. a common "Money" type

Currently, the type is duplicated in each module's schema. Maybe there could be a set of "global" types? Not sure.

The solution might be type-only modules with no verbs. Could be via an annotation on an entire package in which case all types would get exported, or per type.