Add ReType introduction