Merges redefined protocols.
Changes show to describe.
Allows 'id => expr' definitions (implicit self).
Tasks.