Remove gFunctorList and use gFunctors everywhere.

This makes stuff more uniform and also removes the need for the [inGFs]
type class. Instead, there is now a type class [subG Σ1 Σ2] which expresses
that a list of functors [Σ1] is contained in [Σ2].
1 job for master in 4 minutes and 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #615
coq
buildjob

00:04:14