Changing another `Contract` call to `Preconditions`
Adding `PostalAddress`, fixing broken import in `Customer`