This commit changes no new functionality, but hopefully it makes the
code more readable and less prone to accidental type confusion. All
refactoring is very mechanical:
replace type synonyms of large tuples with proper types
add conservative comments to data types and functions
This commit changes no new functionality, but hopefully it makes the code more readable and less prone to accidental type confusion. All refactoring is very mechanical: