(define t:cleanup-string-type (lambda (a) (let* ((nt (impc:ti:get-named-type (impc:ir:get-base-type (impc:ir:clean-named-type a)))) (bt (impc:ir:get-base-type (impc:ir:clean-named-type a)))) bt)))