Homework CTS not finished
Homework Common Type System