common type system homework