reference value type system code cleanup.#7

xingweitian wants to merge 7 commits into

dataflow-renamexingweitian/checker-framework-inference:dataflow-renamefrom

refval-cleanupxingweitian/checker-framework-inference:refval-cleanupCopy head branch name to clipboard