Support symbolic null and partial support for string.prototype.match

string.prototype.match is now implemented (positive/negative case) with the following limitations:
 - Group 0 (array access on index 0) is symbolically represented by the entire source string, and not the matched substring
 - Group 1...n (array accesses above index 0) is not supported

Relates to #99