Use vm_call() in main
Clean up Con destructor, type checks