   typealias N = UInt32
   func zero() -> N { return 0 }
   func succ(n: N) -> N { return n + 1 }
-  func add(x: N, y: N) -> N  { return x + y }
+  func add(x: N, y: N) -> N { return x + y }
   func multiply(x: N, y: N) -> N { return x * y }
 }
 

  typealias N = UInt8
  func zero() -> N { return 0 }
  func succ(n: N) -> N { return n + 1 }
  func add(x: N, y: N) -> N  { return x + y }
  func multiply(x: N, y: N) -> N { return x * y }
}


  typealias N = Int16
  func zero() -> N { return 0 }
  func succ(n: N) -> N { return n + 1 }
  func add(x: N, y: N) -> N { return x + y }
  func multiply(x: N, y: N) -> N { return x * y }
}

