Represent SBool via Bool, instead of (_ BitVec 1)

Fixes #63.