[yztssabc] Haskell nits

I wish Haskell had standard syntax for (flip (.)) and (flip ($)).

I also wish for a shorthand syntax for one-argument lambdas: (f # y z) means (\newVar -> f newVar y z).  It will require some thought to specify it unambiguously.  It will be useful for f >>= (case # of ...)