simplify: eliminate defs.hpp

for most files, this requires just two lines in replacement of include <trivia/defs.hpp>, namely:
using namespace std;