Ownership types for flexible alias protection | Not Hacker News!