Description
When we create a reference to a memory region, the type of that reference should be a PointerType, and it would be nice if the type carried the inner type of the referenced memory region. We should provide a simple implementation for this.

Update
The type to be used is ReferenceType. This requires changing the type of the parameters of cfgs for all those variables (e.g. this) that have non-primitive types.