Refactor simplExpr (Type ty)