[rules] [strings] Add support for some core Strings theory rules that reason about Regular expressions

[rules] [strings] Add support for some core Strings theory rules that reason about Regular expressions #321