Contexts, scopes and intrinsic types

[Araq]

> Do you spot it now?

I think so, yes.

> The limitations are obvious.

Coherence is a feature.