fix(frontends/lean/elaborator): missing type information when `!` operator (aka consume_args) is used
fix(frontends/lean/elaborator): missing type information when `!` operator (aka consume_args) is used