Pick out mixedProperly logics, rename old mixedProperly to mixingProperly

There is a need to check if `Mixin` is *already mixed* to `Target`
and a need to check if `Mixin` *would be* properly *mixed* to `Target`.