[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons

[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons #287