We have actually standardized on the short versions of types in all annotations -- `bool`, `int`, etc.