A tiny language inside JavaScript to enforce type signatures.