Correctly implement {is_positive,is_real,is_integer} for TypedSymbol

6 jobs for remove_floor_ceiling_for_integers in 4 minutes and 35 seconds (queued for 3 seconds)