Refactored grammar compression code. Added a comment describing what annotateRequested does, and why it does it.
Fixed bug in sampler
Changed planner to use log probabilities
Fixed bug caused by not rerunning type inference on new library procedures