Add clever comments.

collects/typed-scheme/types/abbrev.rkt

@@ -62,6 +62,7 @@
   (foldr -pair b l))
 
 (define (untuple t)
+  ;; FIXME - do we really need resolution here?
   (match (resolve t)
     [(Value: '()) null]
     [(Pair: a b) (cond [(untuple b) => (lambda (l) (cons a l))]

collects/typed-scheme/types/union.rkt

@@ -39,7 +39,8 @@
      (let ([types (remove-dups (sort (apply append (map flat args)) type<?))])
        (cond
          [(null? types) (make-union* null)]
-         [(null? (cdr types)) (car types)]           
+         [(null? (cdr types)) (car types)]   
+         ;; FIXME: this sort is unneccessary
          [else (make-union* (sort (foldr union2 '() (remove-subtypes types)) type<?))]))]))
 
 (define (u-maker args) (apply Un args))