added MUIDs and IR, Parent, Span maps (using pure vectors)

Introduced top-level IConstraint and IGoal for tracing
Desugarer to assign MUIDs and construct the maps

**Status: in progress, do not merge**