Type-directed compilation to JavaScript

[dhil]

trafficstars

The JavaScript compiler should take advantage of the type information available to select native and efficient versions of equality, relational, and string operations whenever possible.