softlib

Dynamic code for type expectations, soft assertions, and logging to the terminal with stack trace.