Add to ORKGC already has a variaty of interfaces for type-generic programming, but lacks a systematic approach thatprovides type safety, strong ecapsulation and general usability. This paper is a summary paper for a seriesthat provides improvements throughN2735. type inference for variable definitions (auto feature) and function returnN2736. function literals and value closuresN2738. type-generic lambdas (with auto parameters)N2637. lvalue closures (pseudo-references for captures)The aim is to have a complete set of features that allows to easily specify and reuse type-generic codethat can equally be used by applications or by library implementors. All this by remaining faithful to C’sefficient approach of static types and automatic (stack) allocation...