Explore better integration with op-succint contracts

[alrevuelta]

• right now we have some duplicate logic with respect to the op-succint contract
• explore a way to extend their contracts for FEP while avoiding duplicated logic, variables, structs, functions, etc