Commit 2022-12-14 23:20 5122e3cb

feat: initialize_simps_projections has better tracing, hovers and jump-to-definition (#1025)

• initialize_simps_projections now prints all tracing messages (with ? or trace.simps.debug) as MessageData instead of Format, making it much more readable
• Add hovers and jump-to-definition over most arguments to initialize_simps_projections
  • They work for the structure name and all custom simps projections
  • other arguments also have hovers, but no jump-to-definition (since in general they are generally compositions of projections, and even if it is a single projection, it's eta-expanded, so it doesn't do jump-to-definition).