Implicit module arguments

[yallop]

Implicit module arguments are an alternative to implicit functors. Instead of

implicit functor M (A:X) (B:Y) = ...

we might write:

implicit module M (implicit A:X) (implicit B:Y) = ...

Both the module and the arguments are marked implicit here, but the idea is to separate the two, so that any module can have implicit arguments.