Create type-infer.scm