(remove-coins-from-pile game-state n p) ; given a state, returns a new ; state with n fewer coins in pile p