proper type-checking on game.__objective