Mass--Hom bounds

The abstract mass--Hom predicate and its formal invariances. Generator and stable-object reductions are split into later leaves of this directory.