ivory-examples: add comment.
ivory scope: remove unused type Writable type class and instances.