Type Theory to Study $(\infty,n)$-Categories and $(r,n)$-Categories
I don't know of anyone who is specifically working on generalizing our paper to the $(\infty,n)$-case. But there have been other attempts to design a type theory for higher categories, such as Finster's opetopic type theory.