Monome.split (into positive and negative parts)
big changes in Arith.Lit:
- removed Lit.Pivoted (useless with cancellative inferences)
- added Lit.Focused (c·t + m1 <| m2 with focus on t)
- cleanup of Lit.Single and Lit.Canonical (formerly Lit.Extracted) that has a new shape