Type annotations
More vocabulary