Commit 2019-11-23 00:15 f86abc77

fix(*): lower instance priority (#1724)

• fix(*): lower instance priority use lower instance priority for instances that always apply also do this for automatically generated instances using the extend keyword also add a comment to most places where we short-circuit type-class inference. This can lead to greatly increased search times (see issue #1561), so we might want to delete some/all of them.
• put default_priority option inside section Default priority also applies to all instances, not just automatically-generates ones the scope of set_option is limited to a section
• two more low priorities
• fix some broken proofs
• fix proof
• more fixes
• more fixes
• increase max_depth a bit
• update notes
• fix linter issues