added pp_option
added pp_sort
reinstated or_rule

suddenly it's needed (why wasn't it?)