Derive Generic1 instances for AST nodes

[Rob Rix]

As with #182, this runs into #197, i.e. we will need to switch the representation of anonymous sums from Either to :+:.

[Ayman Nadeem]

Fixed by #214