modified:   WellTypedTerms.agda
	new file:   WellTypedTermsNBEModel.agda