Remove polluting constructors for lambda from StatementF
Clarification and motivation
There are 3 constructors in StatementF
dedicated for lambda (and 3 more in Instruction
datatype from Sequential), this is overwhelming, they can be merged.
Acceptance criteria
Constructors are merged into one.