Small PR, that introduces the reference sort with constructors for references to
state variables
local variables
variables of complex types such as mappings and arrays. These have a reference as a base, and an additional value to be used to find the referred to object, e.g. value or element respectively.
Small PR, that introduces the reference sort with constructors for references to