Added doc for type assertion transformer