Don't implement addrOf in terms of AllocRef anymore