I completely agree that Lojban has a type system, and I've treated it that way. In fact, my jvajvo rules rely heavily on sumti types. E.g. the famous {karykla} (without pruning) becomes
x1 klama x2 boi x3 boi x4 boi x5 noi karce x6 boi x7
because karce1's type is "vehicle", as is klama5's. Matching up sumti types is the basis for my jvojva.
With that said, I would like to start a discussion about the implementation of a type system
in Lojban.
Some points I'd like to discuss are: