V_p_W & aV_p_bW are working well. Now proceed to is_array_trait & xpr_traits to see if expressions can be further simplified