Fix mixfix parser
Fix show type