Update cabal before building
"Fix" pluralization

Implementation is clearly broken in the abstract, but good enough for
our cases (and if we need more that this, we probably should be using a
library rather than rolling our own).
Fix condensation of prefixed formulae

Need to strip out leading modifiers before trying to parse JSON