OPT Typers#stabilize is a noop in erasure's typer.

(Correct?)