Variables can be assigned to generators of a suitable free object, for example
x:=X(Rationals,"x");
or
f:=FreeGroup(2);x:=f.1;
.