Sem: fixed type annotations of function arguments