Use articles instead of English case/decl names