Minor documentation improvements of the `expanding` built-in protocol