casts top-level property

dynamic casts
getter/setter pair

Implementation

strict-casts