The common type system defines how types are declared, used…