exprIsWorkFree was returning False for constructor applications
like (Just x).  Horror!  Now we delegate to isCheapApp, which does the
right thing.

I found this (by accident) when seeing why the simplifier was taking
more iterations than I expected.  So not only should we generate
better code as a result, but perhaps with fewer simplifier iterations.
General happiness.