Fast factorization of Cartesian products of (directed) hypergraphs