Remove Function subtype.

Also address a few nits in the example code and documentation.