clean up hints for NaturalDeduction, split ProgrammingLanguage into multiple files
unbreak lots more stuff
fill in lots of missing proofs
update to new coq-categories, base ND_Relation on inert sequences
update to account for coq-categories changes
update submodule pointer, account for changes upstream
re-arrange ProgrammingLanguage
lots of cleanup