Complicate test of recursive types and add another sub-message property
Remove back-referencing of types previously encountered. This has been removed from the spec as it was flawed.