Reified + Generic: added simplification of `Numeric[A]` when `A` is concrete (which is the case in reified trees when passing `TypeTag[A]` around).