Free Algebras

TODO

Quick overview: