Fixed missing type notation from doctest
Approximate canMove