box2d definitions for typescript