WIP
Deopacify FunctorProduct_uniuqe, fix names