Initial version of CCX definition in Agda.

Incomplete, but getting there.
Rearrange things.