Unification modulo theories of blind signatures