use the $::fact notation consistently

As we introduce the $::fact version of referring to a fact as the best practice, for consistency the rest of the examples should follow that pattern.