(define impc:ti:list (lambda (ast) (if (null? ast) 'null (list 'cons (car ast) (impc:ti:list (cdr ast))))))