Final Common type system homework