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