A type provider for regular expressions.