`richer_answers` option for term abduction. Do not comment-out toplevel `let` type annotation if the pattern is a name (i.e. just a pattern variable).