%% syntaxe : any isname --> booleen
/isname {
   type (nametype) cvn eq
} def