OCaml nucleotide-count and rna-transcription

I didn't follow the usual practice of making rna-transcription a trivial
exercise after nucleotide-count. Instead I changed the data types in
rna-transcription to use polymorphic variants, so the user gets some experience
with those.