WCF Model and Hashset