Contexts use names of terms instead of full terms. Fixing a bottleneck.
Many fixes/adjustments.
Many fixes.
Optimizations.