Add bytecode functor
Add fixed point representation. Unsound. Unproven.
Add fold
merged wout's tree functor