introduce some type aliases: Location, Dimension, and Stop