Store facts for compile-time-resolved lexicals.

Enables other optimizations to apply.
Resolve multi-dispatch at spesh time if possible.