Refactoring: position information replaced with class Position.
Refactoring: more replacement of position information with class Position.