Deprecated `@kind` and `@property constructors