do you know whether pypy does some form of static type inference like V8 to optimize field access?