in `PriorOrValue` consider allowing both

[Sibgatulin]

if prior is given, the variable is to be learned, and if the value is specified simultaneously, it can be used to initialise the guide