Start enforcing typecheck

[EarlMilktea]

Description of the change:

Use mypy and pyright to detect type warnings.

[codecov]

Codecov Report

Attention: Patch coverage is 96.96970% with 1 line in your changes missing coverage. Please review.

Project coverage is 76.98%. Comparing base (ad18270) to head (2c00304).
Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
graphix/types.py	80.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #211      +/-   ##
==========================================
+ Coverage   76.91%   76.98%   +0.06%     
==========================================
  Files          38       38              
  Lines        5979     5984       +5     
==========================================
+ Hits         4599     4607       +8     
+ Misses       1380     1377       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[thierry-martinez]

Very nice! However, I think we can remove the disabled error code.

[thierry-martinez]

LGTM! Thanks.

[shinich1]

Looks good! let's squash and merge.