Language learnability and the forms of recursion