The Warwick Analysis Project: Practice and Theory