Major Update to HaskHOL Core including:
- Move from type classes to type families for theory context types.
- Move from template haskell to acid-state for theory context storage.
- Primitive logic has been converted to a "semi-stateless" form.
- Most String uses have been replaced with Text instead.
- Numerous bug fixes and other things I've forgotten.