WyC: Added support for constrained types. #174