Commenting, a bit of cleanup
checkpointing
test cases, backing out of several changes
test case fixes
deriving-eq all over ast
use node_id for indexing in ast_to_ty_cache
finish deriving_eq in ast
tidy