(bind-func mul:[!a,NUM{!a},NUM{!a}]* (lambda (a b) (let ((dict (NUM (val a))) (f (tref dict 2))) (f (val a) (val b)))))