Maybe we should decide whether to require [type hints](https://www.geeksforgeeks.org/python/type-hints-in-python) or not. Once we reach a decision, it should be added to the documentation guidelines.