let
create_term_index (productivity: bool) : term index =
new
index productivity (
new
term_data)