We should properly set up CI on this repository: * [x] K dependency updates * [ ] Modernise definitions * [ ] move macro from rules to productions * [ ] replace substitution * [ ] Compile and run tests
