Various changes
Added statement figure and complete interval lattice
Merge branch 'master' of github.com:rostgaard/02242

Conflicts:
	report/tex/improvements.tex
Merge