Supported recursive types. See test/intlist.ml