Updating coraldoc.sty
Small updates to CLS

Featuring:
- A footnote for local names.
- Conformance to union types.
Updates to CFR-1

Featuring:
- Updates to CVM bytecode format specification, WIP.
- {instruction sequence tree -> instruction sequence graph}