Resolvers

Resolver is a thing defining lens error handling.
This is done by inversion of control:
- lens semantics are provided by check, get and set functions
- resolver combines them and controls how check influences get and set
behavior

Also, simplified lens code to open a way:
- removed memoization
- removed multiple arguments in .attr() and partialAttr()