replace TVar versioning with comparing values