Common type system homework added