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