D implementation of a DFA for matching data tuples of heterogenous types.