jswebtools/language-ecmascript — pull request #51 by ranjitjhala (2013-12-20 18:58:52+00:00)
Title: Intersections

Unified casts into a single constructor. The actual up/down/dead happens inside Annots.