bitblast command now prints an error if the term has a polymorphic type
bitblast command now prints an error if the term has a polymorphic type

Fixes #20.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script