Add treebank tokenisation to references; fix two bugs
Add mention of similar techniques in Design
Finish Executive Summary