Learn about the fundamentals and inner workings of the Common Type System