fixed some files that were not usign the std-lib interface
	modified:   Adjunctions.agda
	modified:   Isomorphism.agda
	modified:   Library.agda
	modified:   Monads.agda
	modified:   RAdjunctions.agda
	modified:   RMonads.agda
	modified:   WellScopedTerms.agda
	modified:   WellTypedTermsNBEModel.agda