rethink cpp module structure

currently, there are many variants of the cpp module which knock themselves out based on unsatisfied conditions, be it direct property mismatches or failed probes. it might be more elegant to instead generate derived module variants via module providers, thus better separating the detection phase from the "acting" code. selection of the correct module variant would be deferred to a generic filtering mechanism based on properties, thus eliminating internal conditions.