Sum() type should not be hardcoded to xsd:double. Other operator types are still hardcoded.
Type pushing up now supports aggregation. SPARQL compliance test added