Tools

• Type checking (using ox).

• Tool to generate cliche traits (built-in types, others?) and traits for inheritance of specs.

• Tool like LCLint.

• VC generator tool.

• Spec browser that works with LSL (and LSL handbook)

• Syntax-directed editor

• Make distribution smaller, break into pieces.