warmly welcoming typespecs

Plus a cosmetic var name change: token instead of tree_key.