Equip all modules with interfaces
Archive old examples
Set up testing framework
Print context definitions in proper order
Add test with Church numerals