Finished the metatheory directory for exceptions.