using System;
using System.Collections.Generic;
using System.Linq;
using System.Console;

module Program
{
  Main() : void
  {
    def l = [1, 2, 3, 4, 5];
    def r = l.Where(i=> i%2 ==0);
    WriteLine($"..$r");
    _ = ReadKey();
  }
}

using System.Linq;
using System.Console;

module Program
{
  Main() : void
  {
    def l = [1, 2, 3, 4, 5];
    def r = Enumerable.Where(l, i => i % 2 == 0);
    WriteLine($"..$r");
    _ = ReadKey();
  }
}

Index: internal.n
===================================================================
--- internal.n    (revision 7892)
+++ internal.n    (revision 7893)
@@ -216,6 +216,14 @@
   }
 }
 
+namespace System.Runtime.CompilerServices
+{
+    [System.AttributeUsage (System.AttributeTargets.Class|System.AttributeTargets.Method)]
+    public class ExtensionAttribute : Attribute
+    {}
+}
+
+
 namespace Nemerle.Utility
 {
   public class Identity ['a, 'b] : Builtins.Function ['a, 'b] where 'a : 'b

СТ>Добавил также тест. Только тут опять не всё гладко. Не получилось заставить tests.exe заставить компилятор зареференсить System.Core, которая лежит в GAC. Поэтому, в качестве временного решения, пришлось её подложить туда, в папочку. Если кто знает, как это сделать, буду очень признателен.

using SCG = System.Collections.Generic;
using SRCS = System.Runtime.CompilerServices;
using SAT = System.AttributeTargets;

namespace System
{
 namespace Runtime.CompilerServices
 {
  [System.AttributeUsage (SAT.Class | SAT.Method)]
  public class ExtensionAttribute : Attribute
  {}
 }
 public delegate Func[T, TResult] (arg : T) : TResult;
 namespace Linq
 {
  [SRCS.ExtensionAttribute]
  public module Enumerable
  {
    [SRCS.ExtensionAttribute]
    public Where[TSource] (
      source : SCG.IEnumerable[TSource], 
      predicate : Func[TSource, bool]
    ) : SCG.IEnumerable[TSource]
    {
      foreach (x in source)
      when (predicate(x))
        yield x;
    }
  }
 }
}

[Nemerle.Internal.ExtensionAttribute]
public module Test2
{
  [Nemerle.Internal.ExtensionAttribute]
  public Where2[T] (
    source : SCG.IEnumerable[T], 
    pred : T->bool
  ) : SCG.IEnumerable[T]
  {
    foreach (x in source)
    when (pred(x))
      yield x;
  }
}

public module Test3
{
  public Where3[T] (
    this source : SCG.IEnumerable[T], 
    pred : T->bool
  ) : SCG.IEnumerable[T]
  {
    foreach (x in source)
    when (pred(x))
      yield x;
  }
}

using System.Collections.Generic;
using System.Linq;
using System.Console;

module Program
{
  Main() : void
  {
    def l = [1, 2, 3, 4, 5];
    def r = l.Where(i=> i%2 ==0);
    WriteLine($"..$r");
    def r = l.Where2(i=> i%2 ==0);
    WriteLine($"..$r");
    def r = l.Where3(i=> i%2 ==0);
    WriteLine($"..$r");
  }
}
/*
REFERENCE: external-extension-method-lib

BEGIN-OUTPUT
2, 4
2, 4
2, 4
END-OUTPUT
*/

ИД>Сдается мне, что это оно

 
ИД>+namespace System.Runtime.CompilerServices
ИД>+{
ИД>+    [System.AttributeUsage (System.AttributeTargets.Class|System.AttributeTargets.Method)]
ИД>+    public class ExtensionAttribute : Attribute
ИД>

public IsExtension (attrsProvider : System.Reflection.ICustomAttributeProvider) : bool
{
  SystemTypeCache.ExtensionAttribute != null && attrsProvider.IsDefined (SystemTypeCache.ExtensionAttribute, false) ||
  SystemTypeCache.SQ_ExtensionAttribute != null && attrsProvider.IsDefined (SystemTypeCache.SQ_ExtensionAttribute, false)
}