creating test suite: test-flat, test-typed: make it recursively