ZFC game-operation interface checks

These checks distinguish Conway comparison from a vacuous relation, numeric codes from arbitrary game codes, and literal pregame equality from equality of game values.