RFC: Type Signatures

[trufae]

The idea behind this ticket is to discuss the implementation of signatures that can be applied to types instead of functions.

The type signatures should match an specific amount of constraints in order to be selected as good candidates. F.ex:

• Which fields are accessed its size and direction
• Which functions takes them as argument
• Alignment restrictions applied
• Context with strings

Note that there's already some type inference support implemented by propagating only the types found in the function signatures. But there are more constrains that we can use in order to improve the quality of the autotyping as well as autonaming.

Reference links:

• https://blog.trailofbits.com/2024/02/07/binary-type-inference-in-ghidra/
• https://blog.grimm-co.com/2020/11/automated-struct-identification-with.html