[sr-dev] git:master: pv: two new functions- typeof(...) and not_empty(...)