I gotta think a bit more about that. One thing we should make nevertheless is better express the failing conditions in template constraints. In conjunctions such as `e1 && e2 && e3 && ...` we should show only the first one that failed.