;; as above but returns pretty print
(define impc:ti:get-typealias-ground-type-pretty
(lambda (typealias-name)
(let loop ((lowered-alias (impc:ti:get-typealias-type typealias-name)))
(if (and lowered-alias (string? lowered-alias))
(loop (impc:ti:get-typealias-type lowered-alias))
(impc:ir:pretty-print-type lowered-alias)))))