Common Type System Home work, still needs 5, and 6