
*** 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 37 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                                                         ] = 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
  [X    X                         X                                ] = built_ins#bool
  [  XX                            X                               ] = built_ins#list
  [ X                               X                              ] = built_ins#real
  [XXXXXX                         XXXX                             ] = built_ins#built_in
  [      X              XXX           X                            ] = user#c
  [XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX                           ] = syntax#@

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