Binary tree datatype in SML
Immutable list in Cecil
Association-based table in Cecil
The Cecil standard library files