Add upper bound on parsec (needed for term-rewriting)