more types, documentation for MLens