A clean combinator language that compiles to POSIX regular expressions