add test for type recursion

Most type alias recursions are handled in TypeFinderTest, but this one
is useful to test here.