On BCK Algebras - Part III: Classes of Examples of Proper MVAlgebras, BLAlgebras and Divisible Bounded Residuated Lattices, with or without Condition (WNM)