Cleanup in Prelude (details below)

- Remove unused is-prop
- Make everything here universe-polymorphic (it will not affect the use
  of this machinery in code that has type-in-type turned on).
Add Σ types to prelude