Corrections and new additions.

separate/3 corrected, ifThenElse/3 and notEqual/2 added.