Use theorems library of tcolorbox for examples

[MHenderson]

This would allow us to give brief descriptions after the example number.