Added var->reg mapping, translating let-exps, type checking skeleton