mp: Replace MP.product() by an MPMul class. Much more useful.