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