Sem: annotated vars are not poly