[Feature Request]: Module support for Source Typed §x

[martin-henz]

Feature

Modules should come with type declarations that can then be used in Source §x Typed.

Here is a proof-of-concept that inappropriately hard-wires the types of the functions of the module rune into the frontend: source-academy/js-slang#1467

Checklist

• I checked the requested feature does not already exist
• I checked to make sure that this issue has not already been filed

[martin-henz]

Source Typed can now import modules (without type checking). However, Full TypeScript cannot: