Added supercombinator type and Program type to round-off formal language definition
Added supercombinator type and Program type to round-off formal language definition

jmct/IterativeCompiler,jmct/IterativeCompiler,jmct/IterativeCompiler