PHP 7 also includes some serious performance improvements, contextual parsing, anonymous classes, combined comparison operator, null coalese operator and tens of other new features.
Also, preliminary reports indicate that PHP7 is near parity in speed/memory usage with HHVM (and in some cases exceeding it).
It does give you some level of sanity (aka types). It also gives you tooling (autocompletion, ability to do basic code refactoring, etc.).
I'm not looking for a language battle here, but is inventing your own language based on your favorite language to bring common features from other language really such a good idea?
I have experienced both cases: a conversion of a large codebase from php to Hack and also a conversion from php to rails. Pick the right tool for the right job.
It worked wonders for C++.