Geef een beschrijving van het begrip recursief type