Added in type variables.
Merge branch 'master' of https://github.com/ahaven/6.945-Project

Conflicts:
	interpreter/interp.scm