+ documentation and some renaming
Extended rule interfaces to take the premise as a parameter of rule
application. The goal is to introduce explicit decomposition rules and
unify them with composition rules.