no longer needed
get rid of IfCont

It's not really necessary because we have anormal-form.
(isn't making a closure a simple expression though?)