Made Operations, Predicates and Functions all abstract.