split HaskProofCategory into two files
formatting fixes
HaskProofCategory: more work
replace UJudg with Arrange
checkpoint
checkpoint
HaskProofCategory: implement more
improvements to ProgrammingLanguage
HaskProofCategory: add commented-out-code
proofs that Types/Judgments form an enrichment
add HaskXXXXCategory, generalized arrows, and reifications