Adds type annotations.