Implement base ReqResp domain for Lean

[KolbyML]

Describe the feature

leanEthereum/leanSpec#8

Additional context

No response

[SWASTIC-7]

@KolbyML @unnawut I would love to take this up for my epf project. Thank you.

[shariqnaiyer]

@SWASTIC-7 I don't think there's enough work in this issue for it to be considered an EPF project but I will let @KolbyML confirm.

[SWASTIC-7]

@KolbyML @unnawut can i take this up?

[unnawut]

@SWASTIC-7 I don't think there's enough work in this issue for it to be considered an EPF project but I will let @KolbyML confirm.

Agree here. Plus we need this issue completed within this upcoming week or so.

@SWASTIC-7 If you'd like and you can complete within this Monday please go for it, but if not we'll have to take it back pretty swiftly.

[KolbyML]

Hi guys I am assigned this issue xD