Compile higher order predicates to specialized versions on call

[rTreutlein]

It works but the code was generated by GPT-5 so there is likely a lot of cleanup we need to do before merging it.

All current tests pass but we should also try for a bit to breaks this / add new tests.

[patham9]

@rTreutlein Can you please check https://github.com/patham9/PeTTa/pull/58/files#diff-cb5af532baee729d90cb1bf5860e10140973172aecb1e23cb8661a88c61400c1 can we allow that somehow without getting into infinite specialization recursions? It currently avoids it via stack.
UPDATE: SOLVED

[rTreutlein]

Alright i think this is ready to merge now.

[patham9]

We will need to find a solution to allow function removal by tracking specializations. If a function is removed, all its specialization should vanish too. I don't think we need to re-compile functions a function is used in though, that complexity is usually not needed, also since users can still remove and add a function again if desired without introducing the unnecessary complexity. https://github.com/patham9/PeTTa/blob/main/examples/selfprog.metta

[rTreutlein]

Well we already have ho_specialization(HV, SpecName) linking the original name to the specializations. When removing HV we just need to check for that and remove all SpecNames.

[patham9]

Will continue working on this PR soon.