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