Added recursor and induction principle for W-types.