add game example
type-checked examples