Started on leaderboard definition code gen Typed leaderboard score encoding Typed score decoding Moved setting for which leaderboards are visible in the menu