new file:   WellScopedTermsModelExperimental.agda