[logic] Fixes lv_type field of variables whose value is a function

src/kernel_services/ast_queries/filecheck.ml

src/kernel_services/ast_queries/logic_const.ml

src/kernel_services/ast_queries/logic_const.mli

src/kernel_services/ast_queries/logic_typing.ml

tests/spec/local_lambda.i

tests/spec/oracle/local_lambda.res.oracle