Frames

Dear Miles Sabin,

I've got an implementation of Frames that can augment extensible records and lenses (with case classes).

Can you have a look at my code and suggest should it be added to shapeless or not. And what should I change to meet shapeless requirements.

Or, probably, you could create a better implementation of the approach with frames. The idea is to create/construct a 'type' from slots that can be used consistently being sure that all slots are still there.

So, here is the code for your judgment.

Thank you in advance.

Yours sincerely, Arseniy Zhizhelev.