Add builtin rule to eliminate unnecessary casts in seq