Improve documentation for context module
Improve documentation of wrapper module
Add test for basic program creation