The type repository function expresses need for immutability policy of names. We support the inclusion of immutability related policies to this standard.
This defines context as a 3-tuple (T, N, E) where T is a term space (name space), E is a set of interesting entities that can be named, and N is a relation between individual elements of T and E. The presence of T and E is important because the sets can be restricted by an arbitrary convention. N is a set of names.