Generalize reflexive transitive closure#267

atomb merged 2 commits intomainstrata-org/Strata:mainfrom

josh/refl-transstrata-org/Strata:josh/refl-transCopy head branch name to clipboard