Refactor PostalAddress. Make ZipCode and StateCode single union
types.