Add PC-level support for null/undefined constraints and string.prototype.match

All current solver backends default to error if they encounter these new expressions.

Related to #99