THIS IS NOT AN OFFICIAL RELEASE, BUT WORK IN PROGRESS.
THIS FRAMEWORK IS INCLUDED FOR THE SAKE OF THOSE WITH
INTERESTS IN CONSTRUCTIVE TYPE THEORY
