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