We need to document these concepts separate from the primitives since
they are used by multiple primitives

key specifiers
context specifiers
thunks, lambdas
