Starting to build table types incrementally and to unfold recursive types on both sides