Index type for tree leaves and sequences in alignments

Module type for individual bases (eg, A, T, C, G). Mostly conversion to/from strings and ints

Module type for sequences of bases (eg, DNA).

Module type for alignments of sequences (eg, DNA alignment.)

Evolution model with linear algebra functions to compute static distribution and transition matrix diagonalization.