A formal language and tooling to represent and describe all data structures in pdf