1 - introduce flambda type
2 - Flambda check functions