Added a "canonical" WolfeTransformer
Removed redundant definition of bools in MLN example.