Rename `square-limit'` -> `square-limit`
Cleanups
2.52
Use `split` to define `right-split'` and `up-split'`
Rename `deriv` -> `deriv'`
Cleanups
Add an annotation for `sequential?`
2.53
2.54
2.55
2.56 and 2.57
2.59