Retyped summaries of Core Memory | Retyped