Added proof for User Equality Abstraction
Cleared User class(from equality methods) and changed console application
test project