WYC: added support for forall quantification.