Merge pull request #2 from mmjb/master

Split complexity type/helpers to own file
First version of PRFs for exponential runtime.
Avoid duplication.
Change type of rule costs to full expexps
Start pulling out size complexity things into their own file
Unify cintprocs/cprocs things

On the way, this encapsulates many things in modules