More SMT emitter work #57

Closed BosqueLanguage closed 1 year ago