fix(kernel/converter): remove buggy eta-reduction and rely only on eta-expansion

The bug is exposed by new unit test
fix(kernel/converter): remove buggy eta-reduction and rely only on eta-expansion