(bind-func xtm_addition (lambda (a:Complexd b:Complexd) (Cpxd (+ (tref a 0) (tref b 0)) (+ (tref a 1) (tref b 1)))))