Add hereditary metaproperty for almost all properties which are#1674

felixpernegger wants to merge 1 commit intomainpi-base/data:mainfrom

hereditaryallspacespi-base/data:hereditaryallspacesCopy head branch name to clipboard