TYPE_CHECK

Type check lenses

Since it can be an expensive operation this is not done by default