
*** Yes
> > 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > 
*** Yes
> 
*** Yes
> > There are 43 sorts.
  [X                                                                                                                               ] = built_ins#false
  [ X                                                                                                                              ] = built_ins#int
  [  X                                                                                                                             ] = built_ins#cons
  [   X                                                                                                                            ] = built_ins#nil
  [    X                                                                                                                           ] = built_ins#string
  [     X                                                                                                                          ] = built_ins#true
  [      X                                                                                                                         ] = sys#bitvector
  [       X                                                                                                                        ] = sys#regexp
  [        X                                                                                                                       ] = sys#file_stream
  [         X                                                                                                                      ] = sys#socket_stream
  [          X                                                                                                                     ] = user#b
  [           X                                                                                                                    ] = user#d
  [            X                                                                                                                   ] = user#e
  [             X                                                                                                                  ] = user#g
  [              X                                                                                                                 ] = user#h
  [               X                                                                                                                ] = user#j
  [                X                                                                                                               ] = user#k
  [                 X                                                                                                              ] = user#m
  [                  X                                                                                                             ] = user#n
  [                   X                                                                                                            ] = user#p
  [                    X                                                                                                           ] = user#q
  [                     X                                                                                                          ] = user#s
  [                      X                                                                                                         ] = user#t
  [                       X                                                                                                        ] = user#v
  [                        X                                                                                                       ] = user#w
  [                         X                                                                                                      ] = user#y
  [                          X                                                                                                     ] = user#z
  [                         XXX                                                                                                    ] = user#a
  [                       XX   X                                                                                                   ] = user#x
  [                     XX      X                                                                                                  ] = user#u
  [                   XX         X                                                                                                 ] = user#r
  [                 XX            X                                                                                                ] = user#o
  [               XX               X                                                                                               ] = user#l
  [             XX                  X                                                                                              ] = user#i
  [           XX                     X                                                                                             ] = user#f
  [        XX                         X                                                                                            ] = sys#stream
  [X    X                              X                                                                                           ] = built_ins#bool
  [  XX                                 X                                                                                          ] = built_ins#list
  [ X                                    X                                                                                         ] = built_ins#real
  [      XXXX                         X   X                                                                                        ] = sys#bytedata
  [          X              XXX            X                                                                                       ] = user#c
  [XXXXXXXXXX                         XXXXX X                                                                                      ] = built_ins#built_in
  [XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX                                                                                     ] = syntax#@

*** Yes
> > ccaaccbb
*** No
> > ccccaa
*** Yes
> ccccbb
*** Yes
--------------7> ffddffee
*** No
--------------7> 
*** No
> ffffdd
*** Yes
> ffffee
*** Yes
--------------7> iiggiihh
*** No
--------------7> 
*** No
> iiiigg
*** Yes
> iiiihh
*** Yes
--------------7> lljjllkk
*** No
--------------7> 
*** No
> lllljj
*** Yes
> llllkk
*** Yes
--------------7> oommoonn
*** No
--------------7> 
*** No
> oooomm
*** Yes
> oooonn
*** Yes
--------------7> rrpprrqq
*** No
--------------7> 
*** No
> rrrrpp
*** Yes
> rrrrqq
*** Yes
--------------7> uussuutt
*** No
--------------7> 
*** No
> uuuuss
*** Yes
> uuuutt
*** Yes
--------------7> xxvvxxww
*** No
--------------7> 
*** No
> xxxxvv
*** Yes
> xxxxww
*** Yes
--------------7> ccaayyccaazz
*** No
--------------7> 
*** No
> 
