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))); });