Random crap
Merge commit '23c30703264f2ffbdafcbed69dbc1c7109623436' into oxford
Better comments about abstract syntax.
Send stuff to Matija
Parse spines, desugar input to syntax.
Reorganizing all around. Does not compile yet.