Inserts an additional lambda into all coinductive auxiliary definitions (== target type Inf XX). E.g.:

f : A -> B -> C -> Inf A f = a b c -> body is converted to f = a b c _ -> body

Assumes that flat/sharp are implemented as follows:

flat = x -> x sharp = x -> x ()