implementing adt macros
Pkg.stats is back to List for now