Fix up some JavaDocs for ArenaType