added SignCast instance and exported sbv
mkUninterpret function added to sbv Model
Revert "mkUninterpret function added to sbv Model"

This reverts commit b73620a63b23094a49fe5bcd312df379540719f0.
exposing low level uninterpreted interface
Merge branch 'newsbv'