Fix correlations to follow correct order
Line-by-line spec testing
Prefix to infix syntax conversion is now ACTUALLY fixed
Add PROP nodes to some LIVENESS productions
Reorder line processing so we only have to compile the grammar once
Fix construction of 'corresponding' sentences and move semantics of memory macros from post-processing into grammar