(bind-func equ:[bool,!a,!a]* -> (lambda (r a b) (and (equal? a b) (t:number? a))) "numeric equality check" (lambda (a b) (= a b)))