PHP-796: Mark properties as Read Only