Make #lang cur vs #lang cur/base

[wilbowma]

For accessibility, #lang cur should probably import most of the things by default, and other #langs can be provided more restricted imports.

#lang cur should include:

• [ ] sugar
• [ ] ntac, auto
• [ ] basic data types: nat, list, equality, prop
• [ ] reflection stuff
• [ ] racket + syntax-parse at phase1

#lang cur/curnel should include:

• [ ] CiC
• [ ] reflection
• [ ] racket + syntax-parse at phase1

[stchang]

Agree. Do you want to make the lists of what goes in what lang?

[wilbowma]

Sure, started list above.

[stchang]

Ok u want me to submit pr?

[wilbowma]

Sure if you want to do it :)