Canonical derive

Derive Canon impls for datastructures.

Examples tbd.