Update typing & add satisfies constraints in some places
#7
| Job | Run time |
|---|---|
| 24s | |
| 16s | |
| 40s |
satisfies constraints in some places
#7
| Job | Run time |
|---|---|
| 24s | |
| 16s | |
| 40s |