Bugfix in user\connection
Change in str\text::correct_types()
Bugfix in tools::hdump()