rename executable...
Switch from Nat to Int for internal representation.
exp(6,9) drops from ~21 seconds to ~16 on my machine.