`provide-types` docs need better example

[shriram]

There isn't an actually useful non-trivial example of provide-types here:

https://www.pyret.org/docs/latest/Provide_Statements.html

There's one for provide and there's provide-types *, but nothing else.

Also, I'm not sure this formatting makes sense:

That first provide should be just "provide".