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