Is the idea that this class will eventually move to its own file, perhaps along with some child classes like `NumericParameter`, `PositiveParameter`, `DistributionParameter`, etc.? Because this will be something we want to use elsewhere, n'est-ce pas?