Made some name changes

- Notice the naming convention in ADTs. For "getter" functions like these,
  I like suffixing them with `Of` to indicate what _kind_ of function they are.