moved parameters from Writers to State.
Generating size parameters for procedures.
Corrected example emptyProc and renamed Variables. Still a bit cluttery..