Spits out type annotations from cmt files