Building blocks for precise type hints

WWW: https://github.com/jorenham/optype/
