use bounded and real assumptions when creating symbols

this leaves existing symbols/Expr alone and uses assumptions on the symbols created for args