Opaque tokens + tokenlib rework