Adds auto naming of actions if not specified.
Adds unsided to predicate.
Adds expand_premisses! to rule.
Adds cross premisses to helpers.
Fixes some leftovers.