Remove stdlib APIs deprecated in v12
Why
v12 deprecated these APIs with migration templates, so v13 can drop them. List.has and the Error and Exn modules are deprecated in 12.3.2 (#8807) and go as well. Reanalyze, gentype and completion no longer name the removed modules.
Review
- Why does lam_analysis lose its Lazy.from_fun case? That case treated a call to the removed
Lazy.from_funas free of side effects; no program can call it any more.