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

cookie bad : url

fun worse (x : url) : transaction page = return <xml/>