Make result type from SymbolicIntegral consistent
Fix bug in symbolic integral computation
Add some more documentation