Added "measures" combinator for lexicographic combinations of multiple measures.
Added "measures" combinator for lexicographic combinations of multiple measures.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle