Update inference.rkt

to racket