Implemented some basic support for booleans. This required me to add in
some infrastructure for passing in context and parent information in the
symbolic execution tree because we need to knowledge to know how the
booleans should be translated.