Update type_declaration_problem.md