Readonly properties

RFC: https://wiki.php.net/rfc/readonly_properties