Simplify representation of source locations
Use `Location.none` less
cosmetic change
Pipe source locations through the type checker