yes you are right. maybe i am less experienced in this topic, but i expected woocommerce authors to use something more special as post type (like namespace you mentioned about). it prevents any conflict with the post type names that other developers are using.
it will be awesome if woocommerce authors add a feature that let developers to use another post type name for products.