On Types Algebras - pocket, Engelsk, 2019