Higher Recursion Theory: 2