\section{The Core Type Theory}