I've removed the Ord constraint in getArbGen, and now we're getting generators for functions like `Integer -> Integer` :) Next thing to check is that we can still explore given theories and sampled theories with quickspec, hashspec and mlspec.