Deopacify FunctorProduct_uniuqe, fix names