Fix typos

Author: Arnaud ESTEVE

docs/docs/reference/contextual/typeclasses-new.md

@@ -79,7 +79,7 @@ assert(3 == List(1, 2).combineAll)
 
 ### Functors:
 
-A `Functor` represents the ability for a type containing zero or more elements, and that can be "mapped over": applying a function to every of its elements.
+A `Functor` represents the ability for a type containing zero or more elements to be "mapped over", i.e. apply a function to every of its elements.
 Let's name our "type containing zero or more elements" `F`. It's a [higher-kinded type](http://guillaume.martres.me/publications/dotty-hk.pdf), since it contains elements of an other type.
 Therefore we'll write it `F[_]` since we don't really care about the type of the elements it contains.
 The definition of the `Functor` ability would thus be written as: