Adaptations to work upon opprop CF&CFI #23

d367wang wants to merge 8 commits into

opprop:masteropprop/units-inference:masterfrom

d367wang:downstream-valued367wang/units-inference:downstream-valueCopy head branch name to clipboard