simplifying MPL semantics definition
Major change to multi product line formalization, leaving most of the complexity to whoever instantiates the notion
working out auxiliary definitions and axioms for multi product lines