added a --full_context_dependency flag; trying to resolve bug #33, partially solved, but axioms for GADTs are not quite right