do we really want to have PHPdoc for PHP build-in methods, like __toString etc?