Reference types: separating identities and values · HackerTrans