dclib and stdlib: add a "reached" class like "always" and a scoped generic classes body