Bug fixes: sort mismatch in disjunction elimination; update `sigma` when parsing constructors.
Major overhaul of splitting answer into predicate variable solutions, initial commit (not implemented yet). Store locations with predicate variables.