doc: (define-property) TODOs
The documentation for define-property
says:
TODO - is that feature really necessary? I could cut out #:allow-duplicates? without affecting any of my properties, but somehow I felt like I should allow it...
TODO - a real example. Maybe something from core-properties.rkt, or something simplified.