| Vvar of string | Intero | Mkarrow of evalt * evalt
determined by the environment and the current substitution