Fixtype of program IDs.
This is a product type introduced by fty::defprod.
A program ID consists of a name and a network, both identifiers. Requirements on the network are expressed elsewhere, not in the abstract syntax.