Fixing up collation project to link with mathlib, and call new API properly.
Fixing memory access problem in solution 7.