A regular expression type provider demo