Lists: Adds all solutions and Module decls.

TODO: Solutions to those exercises asking to write
down an interesting theorem are not added.