remove use of Castable in typechecking numeric operators
Merge branch 'master' into num_promo
#405 hardcode implicit type conversion Integer->Float in numeric ops