remove redundant includes
uncomment doubly commented section headers (t/r7rs)
[refactor] avoid double type check
s/is_digit_of_base/ispdigit/g