WLS: added description of recursive types.