let type_table = new type_table_type