Adding description to inference.rkt