Change existence from being paired to having a value

- Think this is a better model as it gives nesting of the value and removes magic tuples.