move the t_unify compute stuff into separate library

I don't think it's actually used anywhere (it would be useful for
running the inferencer: now to do that, call add_unify_compset on the
compset you're going to compute with first.).