Handle implicits in projections.

This is not entirely satisfactory, see
<https://github.com/bitonic/tog/issues/11>.