Fixes after updating Idris.
Use a ByPlayer vector for move types.