Cleanup

[leissa]

• refly::debug_print is now internal
• autodiff_aux.* integrated into autodiff.*
• removed f_arg_ty macro
• autodiff_aux.h:FindAndReplaceAll -> util/container.h:find_and_replace
• isa_lit/as_lit -> Lit::isa/Lit::as
• removed is_open_continuation (no was using it anyway)
• improved docs
• util/container.h -> util/util.h and put some other random helpers into this file while grouping them
• compose_continuation -> compose_cn and now lives in lam.h
• Plugin: normalizers are now first
• associated some global functions as static member functions to appropriate classes such as Scope::is_free
• more use of anonymous namespace for internally used stuff
• Def::restructure -> Def::freeze (since we changed nominals/structural to mutables/immutables)
• emit code for axioms in autogen.h in order
• group plugin helper functions by axiom name for better docs

Substituted some helpers from autodiff with what we already had and improved on that:

• is_contiuation -> Lam::is_cn/Pi::isa_cn
• is_returning_continuation -> Lam::isa_returning/Pi::isa_returning
• is_open_continuation -> Lam::isa_basicblock/Pi::isa_basicblock
• continuation_dom(lam) -> lam->dom(2, 0) (extract elem 0 from 2-tuple).
• continuatuion_codom -> Lam::ret_dom/Pi::ret_dom

[NeuralCoder3]

When is a method isa_ and when is_?

[leissa]

When is a method isa_ and when is_?

See here:

• methods/functions that return a bool should be prefixed with is_
• methods/functions that return a std::optional or a pointer that may be nullptr should be prefixed with isa_

Usually an isa method is more versatile because you can check and it directly gives you a handle to work with.