Removed 'trace' from the name of the Idempotent implementation, since the datatype no longer exists.
Added example IVar implementation for LVarIdempotent.