(bind-func xtm_subtraction (lambda (a:Rational b:Rational) (let ((denom_a (tref a 1)) (denom_b (tref b 1))) (Rational_reduce (Rat (- (* (tref a 0) denom_b) (* (tref b 0) denom_a)) (* denom_a denom_b))))))