Add two further MEng projects to the further work
Expand proofs of collectors evaluation