I can understand not wanting inheritance or subtyping, but then I think the language needs at least first class functions. Extension methods would be great. Perhaps you could have typeclasses like in Haskell?