\section{$\source$ --- The Core Type Theory}