(maint) Make Regexp type and Pattern type assert given pattern

This makes the type factory assert that patterns given to Regexp
and Pattern are valid regular expressions. Without this fix, this was
delayed until the type was used in a matching operation.