tests: add some tests on virtual types.