Comment by giann

It’s really hard (impossible?) to have a type system with user defined types and do without a declarative top level.