Bundle non-expansiveness with functors.

So, only use the type class for contractive functors.
1 job for master
Status Job ID Name Coverage
  Test
passed #198
coq
buildjob

00:03:18