Closures are now built better, and print properly.
Added syntactic sugar for building variable rsts.
Disabled cancel-infer for now, but have made many changes to it. Now using valve selectors for inference (experimental).