Factor out symbolic implementation of relations
Add symbolic data race detector using partial strings

Currently we are providing two options for loads and stores: they
either non-synchronizing or release-acquire.