Improve error message.
Start sketching in ABC::Context type.