01.03.07 Core

The dependent-CBPV core. It later splits into Core.Value and Core.Comp. This trial keeps one sort.

The dependent-CBPV core. It later splits into Core.Value and Core.Comp. This trial keeps one sort.