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 :)