public class Prod1 extends Val
Base class for values constructed with 1-ary constructors.
This will be extended by constructors of sum types and by product types.
Subclasses can overwrite the FV.constructor()
method.
Note that Prod1 is not a subclass of Prod0!