Think about how to implement multidimensional uncertain values

[kahaaga]

Represent as n-tuples of uncertain values? Probably a good idea. Then we can have the dimension of the value as a type parameter.