gsdlab/clafer — pull request #55 by mantkiew (2014-11-18 18:33:23+00:00)
Title: 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**