more the undeclared identifier checking into MarkLocalAndGlobalVariables, before we've rewritten them as intrinsics.  moves the checking to a single place from several, and we have better odds that the location of the identifier hasn't been changed from original ast.  also change formatting so C-x` in emacs works.