Complete Type System
Unified SCM type supporting 19 data types including NONE, NIL, LIST, NUM, FLOAT, RATIO, CHAR, STR, SYM, BOOL, PROC, FUNC, CONT, MACRO, HASH_TABLE, VECTOR, PORT, PROMISE, MODULE
A lightweight Scheme implementation in C++ (~14k LOC), designed to drive TeXmacs