decompose_relations_among: isolate the hard subproblems#8

sweeneyde merged 4 commits into

mainsweeneyde/mutable_lattice:mainfrom

decompose_relations_amongsweeneyde/mutable_lattice:decompose_relations_amongCopy head branch name to clipboard