Названия тестов стоит делать говорящими. В начале файла (после списка альтернативных ошибок) лучше оставить комментарий с описанием тест кейса.
Если планируете добавлять много тестов - могу дать права на запись в репозиторий
Тесты, которые успешно проходят typecheck следует добавлять в директорию ok.
Тесты с ошибкой типизации следует добавлять в директорию bad в поддиректорию с именем primary error.
Альтернативные ошибки типизации следует перечислять в однострочном комментарии на первой строке теста через запятую с пробелом.
Обязательно проверять типизируемость здесь: https://fizruk.github.io/stella/