corrections & general recursion interface for PFml

 * removed redundancies: import of Control.Monad and explicit
instance Show (PFml a)
 * indentation and line break corrections
 * correct definitions for "conjuncts", "disjuncts" and "PFmlFoldl"
 * evalWith uses behaviour on each constructor to create a recursive
function on PFml a