Add type-changing lenses
Documentation (kind of)
bump