Draft: Ci/lafeychine/inline fptr

added 66 commits

• c5c0f491...1be7b1d6 - 56 commits from branch main
• 6754b545 - feat(inline_fptr): Add early definitions
• 23258a77 - [WIP] Early typed-checked inline
• 491ea2ab - [WIP] Early definition of inline_fptr
• b002fd81 - [WIP] inline_fptr: Early proof structure
• 7e25b3e8 - [WIP] inline_fptr: Add typed_stmt continuation syntax
• 7c0dfc58 - [WIP] inline_fptr: Add core induction structure proof
• 3f5a79fd - [WIP] inline_fptr: Inductions proved using custom recurse definition
• 3fd4c967 - inline_fptr: Add full proof
• 17cb4e3b - chore(inline_fptr): Improve readability of the proof
• 5515df2a - test(inline_ftpr): Add inline example

Compare with previous version