Up and Down solutions

Up and Down was solved using OCaml by 2 contestants. Solution sizes: average 940 bytes (shortest: 836; longest: 1045).