put init_type_decs in init_repl_state