Title: Recursive data types in SETL: automatic determination, data language description, and efficient implementation