added an integral that computes the integral of the domain,
This is basically the L1Norm without the abs. The ReturnType is just the RangeType of the DiscreteFunction. Or it is the 0th momemtum. Using the ACFem notation it becomes really easy to calculate higher order momentums.
The name Integral is open to discussion.