Refactoring: more replacements of position information with class Position.
Refactoring: more replacements of position information with class Position.
Refactoring: replacements of position information with class Position.