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

fun main () : transaction page =
    t <- now;
    return <xml>{[readError (show t) : time]}</xml>