We should only generate expressions that typecheck.
We should only generate expressions that typecheck.