traits for impure and stateful

[lgarithm]

e.g.

static_assert(nn::ops::is_impure<nn::ops::read>::value, "");
static_assert(
std::negation<nn::ops::is_stateful<nn::ops::read>::value>::value, "");