Also

type_checked

and

partially_type_checked

are treated the same by our MyPy.py script. The only difference is so that we can track when something is 100% typed