Comments on what's in the metatheory directory