Locality Types