A small framework for encoding open types, for the purpose of solving the Expression Problem.  An explanation is included in the files.