Syntax, inference & computation for negative sigma eliminators
Parsing for pair, spread, proj1, proj2 (#7)
Missing parsers/printers (#7)