(minor) eliminate TODO comment that is no longer relevant
working on reverse pass for typechecking