We're using Pydantic and our compiler has custom type-checking on top of Python to catch these issues.