Bugfixes and consistency improvement

Many bugs, mainly in operators, have been fixed. All values now have arguments, so the _ operator is much easier to use. Integers are used in combinatorial functions, and in division when possible. Argument order is more consistent in general.