First version of the type annotator