(bind-func xtm_addition (lambda (a:Rational b:i64) (Rat (+ (tref a 0) (* (tref a 1) b)) (tref a 1))))