The Language I want

I want a OO language with :-

- multiple inheritance - with fine grain control
- generics/parameterized polymorphism
- templates or hygenic macros
- algebraic datatypes
- pattern matching
- extensible syntax
- multimethods, both global and on classes
- term rewritting

Any contenders ?

Aaron


.