Has anyone developed a theory for braids with an infinite number of strings?