class Array[T]
　implements Collection
　　add: (v: T) -> Boolean = self.add;
　　remove: (v: T) -> Boolean = self.remove;
　　...
　implements OtherInterface
　　add: (v: T) -> Boolean = self.add;
　　find: (v: T) -> Boolean = self.find;
　　...
　creators
　　create: {};
　　copyfrom: (v: Array[T]) {};
　feature
　　add: (v: T) -> Boolean = { }
　　remove: (v: T) -> Boolean = { }
　　find: (v: T) -> Iterator[T] = { }

Array[T] a = Array[T]`create;
Array[T] b = Array[T]`copyfrom(a);

クラス宣言にcreators節を設けて、
クラス生成には専用の構文を用意するというのは？
genericsは<>だから問題あるんだから、Eiffelに習って[]とか。