Module Memory_domains.Region_numeric_offset
Lifts a Scalar domain into a Memory_domain, which directly uses the Scalar as offsets in a finite, contiguous memory region (implemented using Fully_expanded_finite_region)