Environment extension

The operation $\\Gamma[x \\leftarrow t]$ that creates a new environment with all bindings from $\\Gamma$ plus variable $x$ bound to term/type/etc. $t$.

The operation $\Gamma[x \leftarrow t]$ that creates a new Environment with all bindings from $\Gamma$ plus variable $x$ bound to term/type/etc. $t$.