UCSD-PL/RefScript — pull request #13 by panagosg7 (2014-08-29 19:15:12+00:00)
Title: Modules, Imports, Various fixes

All tests (but one - qualifier instantiation) pass.

I'll add more in README.md as we go