PortValue class
which is a pair of Port and Value. We will first see
the top-most base class, called ``Named''. Then we will
look at Port-related classes and Value-related
classes. And finally, the PortValue class will be seen in
the last part of this section.