added interval type and proved function extensionality from it
changed appName in Eval
fixed intrec using appDiag
renamed interval
Fixed typos and prepared for merge with master
Fixed typos and prepared for merge with master
Merge branch 'interval'

Conflicts:
	Eval.hs
	examples/helix.cub