Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }