book-progress-synker / datatypes