simplify_type
improvements and cursed docs
#97024
+63
−86
Merged