First version of the sacred heart, Milner's Thm class, compiles.
Uncurried the remaining curried functions to achieve greater uniformity.