add projection node type

Cargo.lock

Cargo.toml

hercules_ir/src/build.rs

hercules_ir/src/def_use.rs

hercules_ir/src/ir.rs

hercules_ir/src/parse.rs

hercules_ir/src/typecheck.rs

hercules_ir/src/verify.rs

hercules_opt/Cargo.toml

hercules_opt/src/ccp.rs

hercules_opt/src/fork_guard_elim.rs

hercules_opt/src/forkify.rs

hercules_opt/src/pass.rs

hercules_opt/src/pred.rs

hercules_samples/ccp_example.hir

hercules_samples/simple2.hir

hercules_samples/strset.hir

hercules_samples/sum_sample.hir

hercules_test/hercules_interpreter/src/interpreter.rs

hercules_test/test_inputs/ccp_example.hir