Add discriminated union to represent the various Z-Machine addresses