mixin Documented {
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type ObjectDefinition {
  supertype AxiomTypeDefinition;
  include  Documented;
}

type PolicyDefinition {
  supertype AxiomTypeDefinition;
  include  Documented;
}

type ObjectDefinition {
  supertype AxiomTypeDefinition;
  // include  Documented;
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type PolicyDefinition {
  supertype AxiomTypeDefinition;
  // include  Documented;
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type ObjectDefinition {
  supertype AxiomTypeDefinition;
}

type PolicyDefinition {
  supertype AxiomTypeDefinition;
}

augmentation Documented {
  target ObjectDefinition;
  target PolicyDefinition;
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type ObjectDefinition {
  supertype AxiomTypeDefinition;
  // added via Extension;
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type PolicyDefinition {
  supertype AxiomTypeDefinition;
  // added via Extension;
  item summary {
    type string;
  }
  item documentation {
    type string;
  }
}

type ValueMetadata {
  documentation "Common holder type for all possible value metadata"
}

valueMetadata Storage {
  item storage {
    type StorageMetadata;
  }
}

type ValueMetadata {
  documentation "Common holder type for all possible value metadata"
}

extension Storage {
  target StorageMetadata;
  item storage {
    type StorageMetadata;
  }
}

type AnyObjectList {

}

root objects {
  type AnyObjectList;
}

object User {
  itemName user;
  item name { type string;}
}

type AnyObjectList;
root objects {type AnyObjectList;}

type User {
  identifier oid {
    scope global;
    space User;
  }
  itemName user;
}

extension User {
  target AnyObjectList;
  item user {
    type User;
  }
}