Remove unnecessary imports
Density introduced as a typeclass over measurable terms