added beta eta quote
	modified:   ClosedTerms.agda
	modified:   TypedValues.agda
Merge branch 'master' of https://github.com/andreasabel/continuous-normalization