Typed properties over untamed data (common abstractions)