Valhalla introduced a few internal annotations such as NullRestricted and LooselyConsistentValue. They are suitable for our performance requirement testing, but will be ultimately removed and already diverges from the language design. We should add user-oriented warnings about their status.