narrow1-env, requires ensuring precise type is also a wf-val in wf-env