concrete syntax: add helpers for derefs of fields and arrays with examples.
concrete syntax: add toCArray.
concrete syntax: clean up examples.
concrete syntax: allow bindings for macros.