Remove comment subsumed by type annotation
Fix typed/racket/snip for contracted ids