say explicitly how we are better than existing virtual ISAs, and
say our compiler prototype (not our compilation strategy) is preliminary.