Replace use of `definition` and `definitions` with `overloads`

[gmarkall]

Some parts of the course use kernel definitions from the definition and definitions properties. These properties are deprecated, and should be replaced with the use of overloads instead.