Added setters to Player.mli