Fixes in 14-make root
Fixed 15 - intersection type still doesn't work.
Fixes on more of adsafe