[rch]

> contexts at different properties for different types

It seems like I could use syntax from HOCON to achieve this in a less verbose way, perhaps with minor changes to the parser.

> have a schema and perform the elaboration from there

I like your schema approach. I'll have to experiment a bit.