(datatype integer

  if (integer? N)
  __________________
  N : integer;

  _____________________
(subtype integer number);)

(datatype subtype

(subtype A B); X : A;
______________________
 X : B;)

\\ fails
(define increment-integers
  {(list integer) --> (list number)}
   L -> (map (+ 1) L))