Update hindleymilner.rkt