Rework Concepts

Currently concepts work on a static_assert basis, which makes it harder to give a proper "stack-trace" of concept requirements failing.

* [  ] Add `constexpr void check()`
* [ ] Remove the macro-based `void`/`bool` and keep it `bool` based
* [ ] Add concepts from C++20
* [ ] Add all iterator concepts