Type Specification, e.g. via TypeInfo package
Type Inference System
Tree-shaking to produce "R" (-like) code as stand-alone executables
R