Lots of work in sketch instantiation and inclusion of further examples.