trying to define Fork2 combinator, stuck with the Fin types mapping
Discussed questions with Wouter, removed TODOs, gonna implement "smart" structural combinators, maybe sizing DSL