Dominic: Value types