Got range-sum to typecheck; added some less ugly helper functions for cheated functor storage of the arguments of heterogeneous math functions. Not tested yet.
Range-based sum works. Added approximate evaluation and integrated term+result display.
Better fixity-handling; sums are now appropriately parenthesised.