Type plastique any

TYPE any  -- The union of all other types.
  IMPORT Subtype FROM type

  MODEL
  INVARIANT ALL(t: type :: Subtype(t, any))
END