[ doc ] s/mutual data types/mutually recursive data types.