Contexts, scopes and intrinsic types

[Sixte]

> We already have the necessary parametrization in Nim's generics, we're 
> getting generic constraints via concept,

O.k. How do we obtain concept wide intrinsic type parameters then or did I miss 
a detail?