Add identity measure.
Generalize, add instances, remove moment stuff.