refactored applyFun to Apply and ApplySymbol, as in core.Trees
Better tests, evaluation for propositional skeleton. Moved away from strict
syntactic requirements for Currifier and Flattener, towards testing properties.
Propositional skeleton test is a little bit tedious