Lambda-definable functionals of finite types