typeof-var := λ(: sloc AST)(: tctx TContext)(: vname String). (: (
   (let found (typeof-var-raw( sloc tctx vname )))
   (if (non-zero found) () (
      (exit-error( 'Unknown\sReferenced\sVariable_s sloc ))
   ))
   found
) Type);