More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables

task initialize = fn () => debug "I ran!"

fun main () = return <xml>Hi!</xml>