Suggestion on extension methods

[alexandru]

1. add a paragraph on how they relate ro C#’s extension methods
2. mention if they can be called as normal functions (I assume they can be)
3. object Traverse defines extension methods without implementation; is that a feature? make it clear

[nbenns]

I hope they can be as well, I like the flexibility of having both the extension method and the actual method. However from the translation section it seems that it would ONLY creates the implicit class out of the extension.