fix `implied-atomic?'

collects/tests/typed-scheme/succeed/simple-occurr.rkt

@@ -1,4 +1,4 @@
-#lang typed/scheme
+#lang typed/racket
 
 (: x (U #f Number))
 (define x 7)

collects/typed-scheme/typecheck/tc-app.rkt

@@ -5,7 +5,7 @@
          "tc-app-helper.rkt" "find-annotation.rkt"
          "tc-subst.rkt"
          syntax/parse scheme/match mzlib/trace scheme/list 
-	 unstable/sequence
+	 unstable/sequence unstable/debug
          ;; fixme - don't need to be bound in this phase - only to make syntax/parse happy
          scheme/bool
          (only-in racket/private/class-internal make-object do-make-object)

collects/typed-scheme/types/filter-ops.rkt

@@ -43,11 +43,11 @@
               [((TypeFilter: t1 p1 i1)
                 (TypeFilter: t2 p1 i2))
                (and (name-ref=? i1 i2)
-                    (subtype t1 t2))]
+                    (subtype t2 t1))]
               [((NotTypeFilter: t2 p1 i2)
                 (NotTypeFilter: t1 p1 i1))
                (and (name-ref=? i1 i2)
-                    (subtype t1 t2))]
+                    (subtype t2 t1))]
               [(_ _) #f])))
 
 (define (hash-name-ref i)