Question: How to check whether an expression is a sum of variables of type "name"?

I do the following:

restart; 
z := x + y;
type(z, specfunc(name, `+`));

However the result is 'false'. How to correct my type checking?

Please Wait...