Simplify tagged separation algebra.