An IVar can be treated as a generic container LVar which happens to
contain at most one value! Note, however, that the polymorphic operations are
less useful than the monomorphic ones exposed by this module.