orthonormal comments on Identity and quining in UDT

[orthonormal]

Good discussion in the comments there as well.