An Overview of Type Theories - Guallart, N. (Axiomathes, 2015)