Revert "Revert #15, since it may not actually be needed"

This reverts commit 6d39751edce7e55b1ecb3da0a420e1b4f185cf24.
Clarify comments on JsonTypeInfo.As.EXISTING_PROPERTY a bit.