package rfsm

pow2 n is 2^n. Not tail recursive. Raises Invalid_argument if n<0

neg f x is not (f x)

swap (x,y) is (y,x)

clone v returns a deep copy of value v