streamline Semantics trait; Machine conveniences
Semantics now yield lists of reductions