Great improvements; I've learnt a lot :)

Cool! I've learnt a lot from your suggestions and changes. I still think bash scripting is very opaque and hard to learn, but I'm sure I'll get there in time, haha. I originally added this commit because, without it, pressing build in Visual Studio Code didn't seem to actually rebuild anything for me, so it seemed necessary.

:)

*shrug* As long as it's easy to use Clang too. I heard using it as well makes for better static code analysis.

I didn't really look at this much

Without reading line by line, my only general input into such a thing is to try using "strong typedefs" to help the compiler differentiate multiple arguments.

I didn't read every line, just the three added files.

I chose "predicate" and "dev check" because "assert" might make people think it matches the C++ standard assertion behaviour too closely. Feel free to pick replacement terms that match the specified differences in severity :)

Tests, ideally ;)