change TOdo-rule4 to HIGHER-ORDER form
correct indentation
minor correction
lower-order representation to-do-rule 4
lower order to-do-rule-5
Merge pull request #866 from rodsol/todo

Lower order representation of to-do-rule-5