set.fintype_insert source