Prototype type inference engine