Compile-time type assertions for TypeScript.
A TypeScript-first lazy primitive.
TypeScript-first sequence manipulatio.