Rename dataflow type system to reference value type system.#277

xingweitian wants to merge 6 commits intoopprop:masteropprop/checker-framework-inference:masterfrom

xingweitian:dataflow-renamexingweitian/checker-framework-inference:dataflow-renameCopy head branch name to clipboard