Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets