col_offset=lineno fixed
moved closure and recur to types module, moved tco from closure to evaluator