Better document/handle circular reference types

[quinnj]

trafficstars

Even though the reflection-based method of this implementation makes almost everything Just Work, it does provide some problems with circular reference types (types that have a member of the same type). Need to think about potential ways to handle them/document.