Accept the format "XState.XMutableState state".
Changed to asState in MutableState.
Changed Zipcode to a value object.