(define impc:ir:convert-types
(lambda (t)
;(print 't: t)
(if (null? t) '()
(if (atom? t)
(impc:ir:get-type-from-str (sexpr->string t))
(map (lambda (t)
(impc:ir:convert-types t))
t)))))