int type support

The IntTypeTransformer transforms the int type annotation to number, using the PredefinedType, but wrapping the identifier inside a TransformedIdentifierToken. This token preserves the original type name, so that ES5ParseTreeWriter can emit it as a comment in the output.

@vojtajina