Optomization.
Fixed bugs building nested quantterms.
Optomizations.
Arbs must have a matching internal restriction to their semantic type. Cannot be lowered after being built.