Add some predicate and function literal rules.