Concrete Sheaf Models Of Higher-Order Recursion