More preparations for thuestates that aren't mere strings