Fix type conditions, remove unimplemented signatures
Prevent signed integer overflow
Prevent heap buffer overflow
Better recognize exact equations
Whitespace cleanup
Handle recursion for algebraic integrals
Initialize variable
Get rid of string quotes in derivatives
Delete unused or redundant tests
Generalize GENUPS