Adding sorts back in.

  - Expect things to break ...
Adding ueqAllSorts option.
Removing List from prelude.
Keeping better track of unification constraints.

  - At call sites, dot references, etc.
Don't need to thread the environment through exp.