cleanup
	modified:   WellTypedTermsNBEModel.agda