A call for a new form, an algorithm

Hi,
I would like to share an idea to discuss. A form of JSON-LD that provides
definitions to a compacted form without full expansion.

The motivation is to make real-time linked data processing faster and
easier. For a long time I've been using expanded form to get a processable
version of linked data represented as JSON-LD. The main issue is that the
form is disconnected from its compacted source.

The new form (I would prefer to do not label it as  "annotated" - see
LD*star) should keep mapping between a compacted term and its expanded
version; to provide definitions to compacted terms in other words.

Use Cases
* Does property a/b/c have a definition?
* To what compacted property @id and @type are mapped to.
* Get an expanded form of property value a/b/c/d.
* What terms are undefined?
etc.

Does it make sense?

Best regards,
Filip