More usable type for profile constructor.
Add type synonym for symmetric games.
Add Pareto unit test.