Remove MyCase.genfile
Export checker and constraint functions.
Make "explicit" an exported function returning an executable.
Improved documentation