SubStack: the ability to interoperate with other languages via modules, some of which might be typed