Be more precise about ducktype flags, both declaring and checking

[issa-tseng]

When do we declare a flag? When do we check that flag before performing an operation? When might we use instanceof? Need clearer rules.