We made the types work!
We made the types work!

(But not while we have bitcode generation for regexes. If you
want those back, you'll have to fix the type errors.)

diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/repg,diku-kmc/repg,diku-kmc/repg,diku-kmc/kleenexlang