Expanded use of option types to more closely specify game state