DynamicCast Rework, Part 1: Specification (swiftlang#33010)

A specification for Swift's dynamic casting operations.

This specification tries to reflect the _intent_ of the current implementation, defining a consistent behavior that reflects as far as possible the behavior of the current implementation.  Deviations from this specification will generally be treated as bugs in the current implementation.

Author: tbkka