static L<Para> numberParagraphs(L<S> paragraphs) { 
  new L<Para> l;
  for i over paragraphs:
    l.add(new Para(i+1, paragraphs.get(i)));
  ret l;
}