proved the parametricity result I wanted for values. Now not sure if it is any use!
	modified:   WellTypedTermsNBEModelExperimental.agda