Added 'mutator' functionality to the User domain.

 - Mutator methods return new instances of the User domain with new values for their respective attributes