The first sentence in the description of integer->list should be
changed from:

  integer->list returns a list of len booleans corresponding to each
  bit of the given integer.

into:

  integer->list returns a list of len booleans corresponding to each
  bit of the non-negative integer k.