Assorted Guppy updates.

Mostly related to function-definition/instance/return handling.  Filled
in some missing type-check bits here and there.