Text this: The Relationship Between Separation Logic and Implicit Dynamic Frames