[cvs-nhc98] patch applied (yhc): Make sure data constructors do not evaluate their args. Compile non-deferred function calls iff function is strict on all args and call is saturated