error.jl: add application-oriented assertion facility