a few more equational proofs
	modified:   Naturals.agda
	modified:   WellScopedTerms.agda
Merge branch 'master' of https://github.com/jmchapman/Relative-Monads

Conflicts:
	WellScopedTerms.agda