I would like to introduce for discussion an RFC proposing and arguing for Nullable Return Type Declaration in 7.1 and deferring for now more general relaxations of 7.0 type as proposed in Levi's two RFCs.
https://wiki.php.net/rfc/nullable_returns If anyone would like to collaborate on the RFC, I have a repo you may fork: https://gist.github.com/tom--/e95a10fbe4d34f8a72c9 (although guthub's formatting isn't lovely). I'm looking for help with implementation. Tom