type-system source code visualizations

1 animated visualization for GitHub repositories tagged type-system.