Renaming 'Atom' to 'Predicate'
Introducing terms and functions
Better support for functions