Moves
A move is a transition from one state to another.
An operator is a partial function that can be applied to a state to produce a move.
An operator can serve as a type of move.
A sequence of moves that leads from the initial state to a goal state constitutes a solution.