binary operations between states of different bases or unknown bases now return Exprs