- type safety for properties