checkpoint; more work on fcd ... breaking changes to be fixed
Lib clean-up: one single lib file for lists, organized
Naming convention: total functions end with "T"
fixing imitation bug: imitating type with free head symbol; fixing projectiong bug revealed by imitation fix
moving towards making --full_context_dependency the default; now use it for all the samples ... but not yet for bootstrapping
updating expected errors again