use void and void-ext properties to express labelStatistics results. Part of #125