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