Fix #9: ExtendedPropertyDefinition.equals() is flawed