Minor js optimizations. * flatten() now uses accumulator and join. * reuse regexps instead of allocating new each time

fun main () =
  case #"A" of
      #"B" => return <xml/>
    | _ => return <xml>A!</xml>