initial work on dReal/relational stuff
type promotion