Fix translator for the last annotation removal
Update the type inferencer so that it doesn't annotate things