Start checking some types and deal with recursive types.