object value traversal as analogy for list traversal
rename nothing to empty and introduce true nothing
switch out TypeError for returning the nothing lens
immutable set for property lens
expose flaw in composing property with identity