(maint) Add explanation of algebra notation and link to it where used

This adds a section in the into.md document about the notation used in the type algrebra. This because readers may not be familiar with union/intersection, etc. notation, or need a refresh.