Internal primitives to implement evidence based algebraic effect handlers. These are emitted by the compiler during evidence translation and this module is always implicitly imported.
control flow context:
-1: none: bottom
0: except: never resumes 1: linear: resumes exactly once / 2: affine: resumes never or once | 3: multi: resumes never, once, or multiple times.