Allow type restrictions to refer to type vars