[hack] Improve pseudo-constant support in the typechecker
[hack] Improve pseudo-constant support in the typechecker

Summary:
These pseudo-constants are always considered to be global (even in namespaces), because they compile to literals or special bytecodes.

This enforces that the pseudo-constant names are reserved and that we do not elaborate them, regardless of whether they're in a namespace.

Reviewed By: Wilfred

Differential Revision: D10204718

fbshipit-source-id: 73641478ef74ea0a6d5dd8da6d74a1aa9b397751

nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow