(define-type filename string)
(define-type extension string)
(define-type dirname string)
(define-type basename string)
(define-type pathname string)