
Introduces two new NamedTuples to deal with dimensions and positions. The position is special in that x and y can be None. This was previously wrongly declared to be only int. This commit fixes instances mypy found where None positions were not handled. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4267>