Implement expansion in type legalization for add/sub with overflow. The