PkgEval badge
Improved ADT message
Handle Base.@deprecate
Silent redefining constants warning in constants.jl