feat(util): add static_assert to {scoped,splay}_{map,set}
feat(kernel): add static_assert to expr,expr_eq,replace
feat(library/replace_using_ctx): add static_assert
feat(library/rewriter): add skeleton for depth rewriter