Annotations library for TypeScript