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

fun main n =
  case n of
      0 => error <xml>Zero is bad!</xml>
    | _ => return <xml/>