WYC: bug fix for generation of constrained types.