I've actually also wanted to have a "how it works" document that explains things like `__add__` and the canonicalization algorithms and so on.