The type of types
I continued the implementation of the SLinks type system. Not much to say, except that I didn't advance as much as I would have liked. The first implementation I started used a type structure to represent SLinks types that proved to be impractical, and had to be rewritten.