more sugar more docstrings less typos
display by tag
fn+macro for erasing instances
non-negative validator