fixed typo Hi, I have fixed a few typos in commands. Please review my pr.
deeply_normalize
assumed_wf_types