@mlinksva @aeva @mpweiher I would say that FastSafeLang is a subset of SquishyLang. It's faster and safer because of the things you are no longer allowed to do.
That's if SquishyLang has optional/gradual static typing. Otherwise there's a bridging language of which both languages are a subset.