Merge
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Merge
Merge branch 'dev' of https://github.com/genericsystem/genericsystem2014.git into dev
Refactor equals equiv and genericEquals