modified:   WellTypedTermsNBEModel.agda
	modified:   WellTypedTermsNBEModel.agda