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