Refinement Types for References