Annotate min inlining. Better error for missing ctor. Fix infinite collect-ns.

Better parsing error for Fn.