6.945 final project - a scheme interpreter with type inference