public static Query NonVarMember <T>(this VarList <T> list, Var <T> element)
=> Wrap(() =>
{
var tail = new VarList <T>();
return((element <= list.Head & element.IsNonVar())
| (tail <= list.Tail & tail.NonVarMember(element)));
});
