Statistics for UniFlow: A CFG-Based Framework for Pluggable Type Checking and Type Inference