jinko issues

Add `List.ify` as a core function to create lists out of an element

```rust func ify[T](elt: T) -> List[T] { ... } ```

stdlib

priority [low]

Add typeset flattening

Currently type widening only works for "one level" and does not support nesting. This is a problem for the typesystem, and also prevents #673 from being merged since the expected...

CohenArthur

typechecker

priority [high]

Typecheck literal types

CohenArthur

Handle type literals in name resolution

Needs #671

CohenArthur

xparser: Parse literals as types

CohenArthur

Add string interpolation parsing

CohenArthur

Monomorphize generic types

1

Needs #662 Rebased on #662 this now reaches `Actual`, so the `TreeLike` visitor is working! ``` // if we don't want to have actual and typer look at generics, then...

CohenArthur