Return types

This is a pull request to implement the return type RFC: https://wiki.php.net/rfc/returntypehinting

Presently not ready for merge (there are a few bug fixes still needed).
Ah, you are correct. It still would need to get loaded for an inheritance check, but that's in a different place. Thank you for the feedback; will address this soon.