Adding S3Address data type

Property tests would have been better /nit