Typechecker progress (currently broken)
Merge branch 'master' into typed-program

Conflicts:
	src/atype.idr
	src/program.idr
Working on renameElem