Introduce new algebraic data type (ADT) Location