Type hints are basically working. Now it's time to go through builtins and implement it there where needed.