>pure PHP will become a less-tested second-class citizen on HHVM

Not really true because HHVM has to run basic PHP before it can apply the Hack annotation. You can pull out the annotations and it's still PHP.