Subclass Assumptions Predicate from FOL

- [ ] Subclass assumptions.Predicate from FOL.Callable and rename it to AssumptionsPredicate.
- [ ] Subclass assumptions.AppliedPredicate from FOL.Applied and rename it to AppliedAssumptionsPredicate.
- [ ] Rename Function and AppliedFunction in FOL.
I thought your class was called `Predicate`