-record(global_type, { mutability :: gwr@syntax@types:mutability(), value_type :: gwr@syntax@types:value_type() }).