Added first VImpl full implementation. It is a cut-corner implementation but to show that is it possible to do it using TypeIds