Verify schema for python keywords
Start on typed IR