Slightly cleaned up inference for handling statement.
Slightly cleaned up inference for handling statement.

This does not work: fun h f -> with h handle f ();;

matijapretnar/eff,matijapretnar/eff,andrejbauer/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff