cd.attlist.OMS |= 
  attribute cd {string "lc" },
  attribute name {
    string "type" |
    string "typecoerce" |
    string "PiType" |
    string "mapsto" |
    string "Lambda" }