<li><tt>value{17}</tt> - access to one bit of a value</li>
<li><tt>value{15-17}</tt> - access to multiple bits of a value</li>
<li><tt>DEF</tt> - reference to a record definition</li>
+<li><tt>CLASS<val list></tt> - reference to a new anonymous definition of
+ CLASS with the specified template arguments.</li>
<li><tt>X.Y</tt> - reference to the subfield of a value</li>
<li><tt>list[4-7,17,2-3]</tt> - A slice of the 'list' list, including elements
4,5,6,7,17,2, and 3 from it. Elements may be included multiple times.</li>