;;;
;;; FIXME: I'm somewhat tempted to just punt ALIEN from the type system.
;;; It's sufficiently unlike the others that it's a bit of a pain, and
;;; it doesn't seem to be put to any good use either in type inference or
;;; in type declarations.
;;;
;;; FIXME: I'm somewhat tempted to just punt ALIEN from the type system.
;;; It's sufficiently unlike the others that it's a bit of a pain, and
;;; it doesn't seem to be put to any good use either in type inference or
;;; in type declarations.