Seems legit
Add unification for Base. Do a one-pass local rewrite for scale annotations. More to follow