Added nested predicates, typed var lists, PDDL expressions and much more.