Ability to just accept just speculative simplifications that map to constants
5 files changed