zonk the argument of static before generalizing its type.
Avoid duplicated error messages produce by simplifyInfer.
Enhance error messages for errors inside the static argument.