Clean up & add primitive functions
Better error message when introduceChecks fails
Support Vector types
Support for pairs
Eliminate some ugly let expressions generated by (begin …)
Eliminate redundant checks
Allow Check nodes to blame more than one location
Merge checks right before reification
Add 'map' test