Use TypeTheory namespace
Change styling
Add interpretation column