Changed structured types section to discuss lit types and function types, as opposed to lists and functions (slight semantic difference between the two); defined a note type in terms of its constituent types; swapped 0 and 1 registers; all this done in identifiers section