new cannonization structure
interpreting lists, tuple, records and variants; needed to split machine values from literal values
some notes
record projection
record update and projection
notation parsing and interpretation
slight cleanup of bool example
added a bunch of desugaring documentation; some extra notes
infix dot