Implement unrestriction operation on PureStrategyProfile.

Provides an implementation of the operation Unrestrict() on
PureStrategyProfile.  This maps the given strategy profile on its
game, to the equivalent one on the unrestriction of that game.