Timbuk 4 source
Experiments with Regular Language Type Inference
