Type inference engine above esprima