The type inference engine of TinsPHP