layout description - a proposal

[Tobi Ajila]

> As in LDL, it is possible for layouts to have annotations -
> but I strongly feel that important representation distinctions should be
> captured in the language rather than in another meta-language.
When we previously investigated this we saw a distinction between
layout (where are the bits - explicit size and offset), representation
(what
do the bits mean - endianness, signedness) and interaction (how are the
bits loaded/stored - volatility, alignment constraints, etc.).

My understanding of this proposal is that 'layout' and 'representation' are
first class citizens. Is the intention to use annotations to convey
'interaction' properties?

--Tobi