some more generalizations between module and class builder classes
some generalizations between alloy_meta and red_meta
model meta, and added models to Alloy.meta