David Vázquez Púa

And use the already entered information to help to narrow down the options in the other ones.

The self-type of unknown variables is a fresh type varaible, which is not very useful. However, the resultingType have been exposed to the constraints of the code so it gives...

We can accept both some ascii combination as a single unicode character for them, and normalize them to unicode with the pretty printer.

It could make the output more readable than those `$$star$foo$star$$`

It is too easy to make mistakes between when or not a Delisp name should be converted to JS, and there are also differences between when the output is used...

It is too hard to add new functions / values because the different pieces of information are too spread through the codebase.

Add a module id to each symbol: `module:name`. Modules can be implemented as extensions to the compiler. The basic method could be - `lookupSymbol (name: string): JS.Expression` But more specific...

Use an `id` to compare types instead of `name`. We would still have a name for types provided by the user, but `id` would be used for comparison. That way...