Sem: handles args in annotatedType
Sem: Added type annotations in context