Merged requested to merge 316-2-introduce-small-common-position into develop
Second attempt at introducing the small common position class. Changes wrt to the previous attempt.
- No messy commit history.
- Common position class is now
- Dropped the smart
common.java.strings.SORTERequality notion in
common.typechecker.SemanticProblemas case-insensitivity smartness was not properly reflected in the hashCode` override.
- Cleaned out several
PositionUtilsfunctions as they completely moved to
- Adressed all points made in the review of !271 (closed)
Closes #316 (closed) !271 (closed)