Additional Related Directions

  1. Type Specification, e.g. via TypeInfo package

  2. Type Inference System

  3. Tree-shaking to produce "R" (-like) code as stand-alone executables