remove product-related functions completely
replace universe with num_elems in c++
add large-scale tests