Semantic linting harness using TypeSafe Jev