Commit prior to experimentation.
Rewrote call graph generation to use monad transformers.
Added several new test programs (along with termination tests for these), mainly examples from the original size-change paper.