Changes:

Changes:
1) Cleaned up CLI/Compiler classes that Dan provided.
2) Typecheck Constraints.
3) Repair dependence analysis (to order repair of constraints)
   A) checks for functions
4) Added class to compute exact sizes of sets (and constraints which
   establish these sizes)