It should work similarly to filter(), but on symbolic variables,
returning equivalent variables of the current Type if they are
compatible.