New language for checking things in a reusable way · HackerTrans