add method for product type (only the case nat * nat)