Introduce a section for Algebras to values-functors post. Not well-placed yet.