Add all the virtual.cpp test cases to Spec.hs. #99
Rename tests. #99