(bind-func stringify:[String*,Sub*]* (lambda (x) (cat (stringify (tref x 0)) (Str " - ") (stringify (tref x 1)))))