Formalise the library for storing definitions and properties and looking up definition and properties.