merging
added mutual recursive types
added mutually recursive types;