Add support for Veritas::Algebra::Product
Remove completed todo note