Annotated typescript, 1986