WooCommerce template customization

Problem: use specific terminology depending on product type. A recent project offered this nice challenge: display two separate ‘product’ types, one, fulfillable, the other a treatment provided at a facility. With WooCommerce, one gets a cart, and a set of PHP templates. Each template is populated with standard e-commerce headings and